$\forall$$A$:MsgA. ma{-}frame{-}compatible(;$A$)